Banach空间中寻求(α,β)-适度混合集值映像吸引点的一般迭代格式

引入（α，β）-适度混合集值映像与条件I^*的概念，提出了用于寻求（α，β）-适度混合集值映像吸引点的一般迭代法.在一致凸Banach空间中，利用条件I^*与半紧性质，建立了所提（α，β）-适度混合集值映像的迭代格式的强收敛性.结论改进与修正了之前文献中已发布的相应结果.     

一种新颖的编辑距离限制下的相似性确认算法

针对相似性确认步骤中编辑距离计算的高复杂性问题，提出了一种在编辑距离限制下的基于鸽笼原理的字符串相似性确认算法.首先找到满足编辑距离片段映射的片段，以此片段为基准，将长度为500bp的read分段.然后对满足编辑距离片段映射的左右部分递归地进行编辑距离计算，将各段得到的编辑距离相加即为最后结果.最后根据最长公共子串的下限将需要验证的片段数目降到最低，得到优化方案.实验结果表明，基于鸽笼原理的分段递归计算编辑距离的确认算法减少了验证步骤的时间，并能保证假阳率和假阴率都为零.     

基于本体的生物医学数据多模态语义转换方法

采用基于本体驱动的数据转换模型建立生物医学数据集集成数据库，并给出异构资源的共享语义标识符.生成支持语义Web格式的生物医学库，能实现数据集的自动化转换和映射.     

上覆荷载作用下胀缩性土干湿循环过程中胀缩变形规律研究

进行了限制侧向膨胀、允许侧向收缩时压实膨胀土、压实红黏土在不同上覆荷载作用下干湿循环试验,定量分析了在干湿循环过程中膨胀土、红黏土的胀缩变形规律.研究结果表明:在相同的干湿循环次数下,膨胀土、红黏土试样的胀缩变形幅度随上覆荷载的增加而逐渐减小,上覆荷载的作用能够不同程度地抑制膨胀性土的胀缩变形.     

赋值Banach代数的锥度量空间中的一类新型不动点定理

定义了一种向量版本的α-可容许函数,在不考虑锥的正规性的条件下,给出了赋值Banach代数的锥度量空间中的带有α-可容许函数条件的几类压缩型映射的不动点定理,所得结果大大地改进了前人的一些结果,并且举例验证了所得到的结论.      

有界平衡域上一类螺旋映射的增长定理

给出有界平衡域上一类螺旋映射的参数表示,作为应用建立了其增长定理,进一步给出了这类映射即星形映射的一个刻画.所讨论的域是非常广泛的,包括了复椭球和四类典型域,这些结果涵盖了先前已知的结果.     

一类具有初边值条件的非线性分数阶微分方程组解的存在性与唯一性

考虑一类具有初边值条件的耦合非线性分数阶微分方程组解的存在性与唯一性问题,应用Schauder和Banach不动点定理得到了此类方程组解的存在性与唯一性条件.     

预不变凸模糊映射的一些性质

首先利用模糊映射的二次可微性,给出了预不变凸模糊映射的一个充要条件,然后建立了预不变凸模糊映射的一个等价条件,结果为预不变凸模糊映射的判断提供了一个新的思路.     

混沌优化Smith预估补偿器

一个控制系统的Smith预估补偿器参数如果选取不精确可能会导致控制器失效,针对这一问题,提出一种在线混沌优化Smith预估补偿器参数的方法.首先通过混沌映射对被控对象的阶跃响应曲线进行数学辨识得到其传递函数,然后依据辨识出的数学模型进行离线PID参数优化.当模型变化时,控制器可以自适应调节参数.此方法具有被控对象自动识别、系统针对性强、可以在线滚动优化等优点.分别以低阶和高阶数学模型为被控对象进行仿真,仿真结果表明,控制器具有较强的跟踪能力和鲁棒性.     

P*-型非线性互补问题解的存在性

首先利用Poincare‐Bohl定理给出择一性定理,然后用该定理证明非线性互补问题解的存在性,并获得互补问题有解的充分条件。